| 翻訳と辞書 |
| Abstraction principle (computer programming) ： ウィキペディア英語版 |
Abstraction principle (computer programming)
In software engineering and programming language theory, the abstraction principle (or the principle of abstraction) is a basic dictum that aims to reduce duplication of information in a program (usually with emphasis on code duplication) whenever practical by making use of abstractions provided by the programming language or software libraries. The principle is sometimes stated as a recommendation to the programmer, but sometimes stated as requirement of the programming language, assuming it is self-understood why abstractions are desirable to use. The origins of the principle are uncertain; it has been reinvented a number of times, sometimes under a different name, with slight variations.
When read as recommendation to the programmer, the abstraction principle can be generalized as the "don't repeat yourself" principle, which recommends avoiding the duplication of information in general, and also avoiding the duplication of human effort involved in the software development process.
== The principle ==
As a recommendation to the programmer, in its formulation by Benjamin C. Pierce in ''Types and Programming Languages'' (2002), the abstraction principle reads (emphasis in original):
As a requirement of the programming language, in its formulation by David A. Schmidt in ''The structure of typed programming languages'' (1994), the abstraction principle reads:.〔David A. Schmidt, ''The structure of typed programming languages'', MIT Press, 1994, ISBN 0-262-19349-3, p. 32〕
抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』
■ウィキペディアで「Abstraction principle (computer programming)」の詳細全文を読む
スポンサード リンク
| 翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|